A temporal framework for assembly sequence representation and analysis

نویسندگان

  • Kiam Tian Seow
  • Rajagopalan Devanathan
چکیده

AbstructA unifying temporal logic framework is proposed for modelling, specifying, and analyzing mechanical assembly sequences. Propositional temporal logic of Manna and Pneuli is the assertion language used for representing and analyzing all constraints or conditions that assembly sequences must satisfy. The generalization of the existing representations through the proposed framework is demonstrated. A new concept of reverse-equivalence, relating assembly and disassembly forms of knowledge, is introduced. It is shown that existing and new assembly sequence properties can be formulated and rigorously proved via mechanical theorem proving based on two assembly process-axioms, and the language inference rules and theorems. Comparison of the proposed framework with the existing representation schemes highlights the main strengths of the proposed framework, viz., temporal expressiveness, strong mechanical manipulation capability and precise formalism. The implementation of the framework on an IPC SUN SPARC workstation using Quintus Prolog for automatic generation of assembly sequences is described. A simple example illustrates the use of the proposed framework for representation, evaluation and selection of feasible assembly sequences.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

توالی معنادار فعالیت‌ها در مسکن، مطالعۀ موردی ایل قشقایی

Sequence of activities has evident and objective aspects in the people living environment that depend on subjective and meaningful aspects in their culture and lifestyle. The sequence of activities with two forms of "spatial and temporal", are ways of separation or aggregation of activities in different cultures dwelling, which lie at the origin of the formation of behaviour settings. The theor...

متن کامل

A Multi-objective Mixed Model Two-sided Assembly Line Sequencing Problem in a Make –To- Order Environment with Customer Order Prioritization

Mixed model two-sided assembly lines (MM2SAL) are applied to assemble large product models, which is produced in high-volume. So, the sequence planning of products to reduce cost and increase productivity in this kind of lines is imperative. The presented problem is tackled in two steps. In step 1, a framework is developed to select and prioritize customer orders under the finite capacity of th...

متن کامل

Approximation of fixed points for a continuous representation of nonexpansive mappings in Hilbert spaces

This paper introduces an implicit scheme for a   continuous representation of nonexpansive mappings on a closed convex subset of a Hilbert space with respect to a   sequence of invariant means defined on an appropriate space of bounded, continuous real valued functions of the semigroup.   The main result is to    prove the strong convergence of the proposed implicit scheme to the unique solutio...

متن کامل

A Lean Manufacturing Roadmap for an Automotive Body Assembly Line within Axiomatic Design Framework

In this paper we are to present a practical application of Axiomatic Design (AD) methodology, as a roadmap to lean production, in redesigning a car body assembly line. Axiomatic Design theory provides a framework to simplify the whole problem. According to the AD principles, a hierarchical structure has been developed. The developed structure originated in lean manufacturing principles and exis...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Trans. Robotics and Automation

دوره 10  شماره 

صفحات  -

تاریخ انتشار 1994